/* ErrorListener.java
 * 
 * Alfred Olschnoegger
 * 10.06.2008
 */

package exceptions;

/**
 * TODO description
 *
 * @date 10.06.2008
 * @author Alfred Olschnoegger
 */

public interface ErrorListener {
	public void update(Exception e);
}


// end of ErrorListener.java
